Semántica formal de protocolos de herramientas de agentes: cálculo de procesos La semántica formal revela equivalencias y brechas entre SGD y MCP. Cinco principios para protocolos de agentes seguros y verificables. 2026-06-04 · 2 min
